

<?php
if(isset($totalResults)){
	echo '<div class="searchResults">'."\n";
	echo 'Résultats : '."\n";
	echo '<span class="resultNumber">'.$authorResults.'</span> auteur(s)'."\n";
	echo '<span class="resultNumber">'.$totalResults.'</span> contribution(s)'."\n";
	echo '</div>'."\n";
}
